Buy Used and New B. Jacobs Books

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics)

by B. Jacobs

ISBN 13: 9780444508539

Format: Hardcover (784 pages)
Publisher: Elsevier Science
Published: 05 Oct 2001

Save for later